begin_metric
1
end_metric
begin_variables
12
var0 13 -1
var1 13 -1
var2 13 -1
var3 13 -1
var4 5 -1
var5 5 -1
var6 5 -1
var7 5 -1
var8 4 -1
var9 4 -1
var10 3 -1
var11 3 -1
end_variables
begin_state
12
8
6
4
4
4
1
0
1
0
0
1
end_state
begin_goal
4
0 10
1 2
2 1
3 5
end_goal
480
begin_operator
move-down-fast fast0 n8 n0
0
1
0 7 0 2
25
end_operator
begin_operator
move-down-fast fast0 n8 n2
0
1
0 7 0 3
19
end_operator
begin_operator
move-down-fast fast0 n8 n4
0
1
0 7 0 4
13
end_operator
begin_operator
move-down-fast fast0 n8 n6
0
1
0 7 0 1
7
end_operator
begin_operator
move-up-fast fast1 n6 n8
0
1
0 4 4 1
7
end_operator
begin_operator
move-down-fast fast1 n6 n0
0
1
0 4 4 3
19
end_operator
begin_operator
move-down-fast fast1 n6 n2
0
1
0 4 4 2
13
end_operator
begin_operator
move-down-fast fast1 n6 n4
0
1
0 4 4 0
7
end_operator
begin_operator
move-down-slow slow0-0 n4 n0
0
1
0 6 1 3
9
end_operator
begin_operator
move-down-slow slow0-0 n4 n1
0
1
0 6 1 0
8
end_operator
begin_operator
move-down-slow slow0-0 n4 n2
0
1
0 6 1 2
7
end_operator
begin_operator
move-down-slow slow0-0 n4 n3
0
1
0 6 1 4
6
end_operator
begin_operator
move-up-slow slow1-0 n4 n5
0
1
0 5 4 2
6
end_operator
begin_operator
move-up-slow slow1-0 n4 n6
0
1
0 5 4 0
7
end_operator
begin_operator
move-up-slow slow1-0 n4 n7
0
1
0 5 4 3
8
end_operator
begin_operator
move-up-slow slow1-0 n4 n8
0
1
0 5 4 1
9
end_operator
begin_operator
move-up-fast fast0 n0 n2
0
1
0 7 2 3
7
end_operator
begin_operator
move-up-fast fast0 n0 n4
0
1
0 7 2 4
13
end_operator
begin_operator
move-up-fast fast0 n0 n6
0
1
0 7 2 1
19
end_operator
begin_operator
move-up-fast fast0 n0 n8
0
1
0 7 2 0
25
end_operator
begin_operator
move-up-fast fast0 n2 n4
0
1
0 7 3 4
7
end_operator
begin_operator
move-up-fast fast0 n2 n6
0
1
0 7 3 1
13
end_operator
begin_operator
move-up-fast fast0 n2 n8
0
1
0 7 3 0
19
end_operator
begin_operator
move-down-fast fast0 n2 n0
0
1
0 7 3 2
7
end_operator
begin_operator
move-up-fast fast0 n4 n6
0
1
0 7 4 1
7
end_operator
begin_operator
move-up-fast fast0 n4 n8
0
1
0 7 4 0
13
end_operator
begin_operator
move-down-fast fast0 n4 n0
0
1
0 7 4 2
13
end_operator
begin_operator
move-down-fast fast0 n4 n2
0
1
0 7 4 3
7
end_operator
begin_operator
move-up-fast fast0 n6 n8
0
1
0 7 1 0
7
end_operator
begin_operator
move-down-fast fast0 n6 n0
0
1
0 7 1 2
19
end_operator
begin_operator
move-down-fast fast0 n6 n2
0
1
0 7 1 3
13
end_operator
begin_operator
move-down-fast fast0 n6 n4
0
1
0 7 1 4
7
end_operator
begin_operator
move-down-fast fast1 n8 n0
0
1
0 4 1 3
25
end_operator
begin_operator
move-down-fast fast1 n8 n2
0
1
0 4 1 2
19
end_operator
begin_operator
move-down-fast fast1 n8 n4
0
1
0 4 1 0
13
end_operator
begin_operator
move-down-fast fast1 n8 n6
0
1
0 4 1 4
7
end_operator
begin_operator
move-up-fast fast1 n0 n2
0
1
0 4 3 2
7
end_operator
begin_operator
move-up-fast fast1 n0 n4
0
1
0 4 3 0
13
end_operator
begin_operator
move-up-fast fast1 n0 n6
0
1
0 4 3 4
19
end_operator
begin_operator
move-up-fast fast1 n0 n8
0
1
0 4 3 1
25
end_operator
begin_operator
move-up-fast fast1 n2 n4
0
1
0 4 2 0
7
end_operator
begin_operator
move-up-fast fast1 n2 n6
0
1
0 4 2 4
13
end_operator
begin_operator
move-up-fast fast1 n2 n8
0
1
0 4 2 1
19
end_operator
begin_operator
move-down-fast fast1 n2 n0
0
1
0 4 2 3
7
end_operator
begin_operator
move-up-fast fast1 n4 n6
0
1
0 4 0 4
7
end_operator
begin_operator
move-up-fast fast1 n4 n8
0
1
0 4 0 1
13
end_operator
begin_operator
move-down-fast fast1 n4 n0
0
1
0 4 0 3
13
end_operator
begin_operator
move-down-fast fast1 n4 n2
0
1
0 4 0 2
7
end_operator
begin_operator
move-up-slow slow0-0 n0 n1
0
1
0 6 3 0
6
end_operator
begin_operator
move-up-slow slow0-0 n0 n2
0
1
0 6 3 2
7
end_operator
begin_operator
move-up-slow slow0-0 n0 n3
0
1
0 6 3 4
8
end_operator
begin_operator
move-up-slow slow0-0 n0 n4
0
1
0 6 3 1
9
end_operator
begin_operator
move-up-slow slow0-0 n1 n2
0
1
0 6 0 2
6
end_operator
begin_operator
move-up-slow slow0-0 n1 n3
0
1
0 6 0 4
7
end_operator
begin_operator
move-up-slow slow0-0 n1 n4
0
1
0 6 0 1
8
end_operator
begin_operator
move-down-slow slow0-0 n1 n0
0
1
0 6 0 3
6
end_operator
begin_operator
move-up-slow slow0-0 n2 n3
0
1
0 6 2 4
6
end_operator
begin_operator
move-up-slow slow0-0 n2 n4
0
1
0 6 2 1
7
end_operator
begin_operator
move-down-slow slow0-0 n2 n0
0
1
0 6 2 3
7
end_operator
begin_operator
move-down-slow slow0-0 n2 n1
0
1
0 6 2 0
6
end_operator
begin_operator
move-up-slow slow0-0 n3 n4
0
1
0 6 4 1
6
end_operator
begin_operator
move-down-slow slow0-0 n3 n0
0
1
0 6 4 3
8
end_operator
begin_operator
move-down-slow slow0-0 n3 n1
0
1
0 6 4 0
7
end_operator
begin_operator
move-down-slow slow0-0 n3 n2
0
1
0 6 4 2
6
end_operator
begin_operator
move-up-slow slow1-0 n5 n6
0
1
0 5 2 0
6
end_operator
begin_operator
move-up-slow slow1-0 n5 n7
0
1
0 5 2 3
7
end_operator
begin_operator
move-up-slow slow1-0 n5 n8
0
1
0 5 2 1
8
end_operator
begin_operator
move-down-slow slow1-0 n5 n4
0
1
0 5 2 4
6
end_operator
begin_operator
move-up-slow slow1-0 n6 n7
0
1
0 5 0 3
6
end_operator
begin_operator
move-up-slow slow1-0 n6 n8
0
1
0 5 0 1
7
end_operator
begin_operator
move-down-slow slow1-0 n6 n4
0
1
0 5 0 4
7
end_operator
begin_operator
move-down-slow slow1-0 n6 n5
0
1
0 5 0 2
6
end_operator
begin_operator
move-up-slow slow1-0 n7 n8
0
1
0 5 3 1
6
end_operator
begin_operator
move-down-slow slow1-0 n7 n4
0
1
0 5 3 4
8
end_operator
begin_operator
move-down-slow slow1-0 n7 n5
0
1
0 5 3 2
7
end_operator
begin_operator
move-down-slow slow1-0 n7 n6
0
1
0 5 3 0
6
end_operator
begin_operator
move-down-slow slow1-0 n8 n4
0
1
0 5 1 4
9
end_operator
begin_operator
move-down-slow slow1-0 n8 n5
0
1
0 5 1 2
8
end_operator
begin_operator
move-down-slow slow1-0 n8 n6
0
1
0 5 1 0
7
end_operator
begin_operator
move-down-slow slow1-0 n8 n7
0
1
0 5 1 3
6
end_operator
begin_operator
board p3 fast0 n0 n0 n1
1
7 2
2
0 0 12 6
0 8 1 3
0
end_operator
begin_operator
board p3 fast1 n0 n0 n1
1
4 3
2
0 0 12 11
0 9 0 2
0
end_operator
begin_operator
board p3 slow0-0 n0 n0 n1
1
6 3
2
0 0 12 2
0 10 0 2
0
end_operator
begin_operator
board p1 slow0-0 n1 n0 n1
1
6 0
2
0 1 8 4
0 10 0 2
0
end_operator
begin_operator
board p0 slow0-0 n3 n0 n1
1
6 4
2
0 3 4 9
0 10 0 2
0
end_operator
begin_operator
board p2 slow1-0 n7 n0 n1
1
5 3
2
0 2 6 11
0 11 1 2
0
end_operator
begin_operator
board p3 fast0 n0 n1 n2
1
7 2
2
0 0 12 6
0 8 3 0
0
end_operator
begin_operator
leave p3 fast0 n8 n1 n0
1
7 0
2
0 0 6 5
0 8 3 1
0
end_operator
begin_operator
leave p3 fast0 n0 n1 n0
1
7 2
2
0 0 6 12
0 8 3 1
0
end_operator
begin_operator
leave p3 fast0 n2 n1 n0
1
7 3
2
0 0 6 10
0 8 3 1
0
end_operator
begin_operator
leave p3 fast0 n4 n1 n0
1
7 4
2
0 0 6 7
0 8 3 1
0
end_operator
begin_operator
leave p3 fast0 n6 n1 n0
1
7 1
2
0 0 6 3
0 8 3 1
0
end_operator
begin_operator
board p3 fast1 n0 n1 n2
1
4 3
2
0 0 12 11
0 9 2 1
0
end_operator
begin_operator
leave p3 fast1 n6 n1 n0
1
4 4
2
0 0 11 3
0 9 2 0
0
end_operator
begin_operator
leave p3 fast1 n8 n1 n0
1
4 1
2
0 0 11 5
0 9 2 0
0
end_operator
begin_operator
leave p3 fast1 n0 n1 n0
1
4 3
2
0 0 11 12
0 9 2 0
0
end_operator
begin_operator
leave p3 fast1 n2 n1 n0
1
4 2
2
0 0 11 10
0 9 2 0
0
end_operator
begin_operator
leave p3 fast1 n4 n1 n0
1
4 0
2
0 0 11 7
0 9 2 0
0
end_operator
begin_operator
board p3 slow0-0 n0 n1 n2
1
6 3
2
0 0 12 2
0 10 2 1
0
end_operator
begin_operator
board p1 slow0-0 n1 n1 n2
1
6 0
2
0 1 8 4
0 10 2 1
0
end_operator
begin_operator
board p0 slow0-0 n3 n1 n2
1
6 4
2
0 3 4 9
0 10 2 1
0
end_operator
begin_operator
leave p3 slow0-0 n4 n1 n0
1
6 1
2
0 0 2 7
0 10 2 0
0
end_operator
begin_operator
leave p3 slow0-0 n0 n1 n0
1
6 3
2
0 0 2 12
0 10 2 0
0
end_operator
begin_operator
leave p3 slow0-0 n1 n1 n0
1
6 0
2
0 0 2 4
0 10 2 0
0
end_operator
begin_operator
leave p3 slow0-0 n2 n1 n0
1
6 2
2
0 0 2 10
0 10 2 0
0
end_operator
begin_operator
leave p3 slow0-0 n3 n1 n0
1
6 4
2
0 0 2 0
0 10 2 0
0
end_operator
begin_operator
leave p1 slow0-0 n4 n1 n0
1
6 1
2
0 1 4 11
0 10 2 0
0
end_operator
begin_operator
leave p1 slow0-0 n0 n1 n0
1
6 3
2
0 1 4 6
0 10 2 0
0
end_operator
begin_operator
leave p1 slow0-0 n1 n1 n0
1
6 0
2
0 1 4 8
0 10 2 0
0
end_operator
begin_operator
leave p1 slow0-0 n2 n1 n0
1
6 2
2
0 1 4 7
0 10 2 0
0
end_operator
begin_operator
leave p1 slow0-0 n3 n1 n0
1
6 4
2
0 1 4 12
0 10 2 0
0
end_operator
begin_operator
leave p0 slow0-0 n4 n1 n0
1
6 1
2
0 3 9 5
0 10 2 0
0
end_operator
begin_operator
leave p0 slow0-0 n0 n1 n0
1
6 3
2
0 3 9 1
0 10 2 0
0
end_operator
begin_operator
leave p0 slow0-0 n1 n1 n0
1
6 0
2
0 3 9 7
0 10 2 0
0
end_operator
begin_operator
leave p0 slow0-0 n2 n1 n0
1
6 2
2
0 3 9 8
0 10 2 0
0
end_operator
begin_operator
leave p0 slow0-0 n3 n1 n0
1
6 4
2
0 3 9 4
0 10 2 0
0
end_operator
begin_operator
board p2 slow1-0 n7 n1 n2
1
5 3
2
0 2 6 11
0 11 2 0
0
end_operator
begin_operator
leave p2 slow1-0 n4 n1 n0
1
5 4
2
0 2 11 7
0 11 2 1
0
end_operator
begin_operator
leave p2 slow1-0 n5 n1 n0
1
5 2
2
0 2 11 2
0 11 2 1
0
end_operator
begin_operator
leave p2 slow1-0 n6 n1 n0
1
5 0
2
0 2 11 1
0 11 2 1
0
end_operator
begin_operator
leave p2 slow1-0 n7 n1 n0
1
5 3
2
0 2 11 6
0 11 2 1
0
end_operator
begin_operator
leave p2 slow1-0 n8 n1 n0
1
5 1
2
0 2 11 5
0 11 2 1
0
end_operator
begin_operator
board p3 fast0 n8 n0 n1
1
7 0
2
0 0 5 6
0 8 1 3
0
end_operator
begin_operator
board p3 fast0 n8 n1 n2
1
7 0
2
0 0 5 6
0 8 3 0
0
end_operator
begin_operator
board p3 fast1 n8 n0 n1
1
4 1
2
0 0 5 11
0 9 0 2
0
end_operator
begin_operator
board p3 fast1 n8 n1 n2
1
4 1
2
0 0 5 11
0 9 2 1
0
end_operator
begin_operator
board p3 slow1-0 n8 n0 n1
1
5 1
2
0 0 5 9
0 11 1 2
0
end_operator
begin_operator
board p3 slow1-0 n8 n1 n2
1
5 1
2
0 0 5 9
0 11 2 0
0
end_operator
begin_operator
board p3 fast0 n2 n0 n1
1
7 3
2
0 0 10 6
0 8 1 3
0
end_operator
begin_operator
board p3 fast0 n2 n1 n2
1
7 3
2
0 0 10 6
0 8 3 0
0
end_operator
begin_operator
board p3 fast1 n2 n0 n1
1
4 2
2
0 0 10 11
0 9 0 2
0
end_operator
begin_operator
board p3 fast1 n2 n1 n2
1
4 2
2
0 0 10 11
0 9 2 1
0
end_operator
begin_operator
board p3 slow0-0 n2 n0 n1
1
6 2
2
0 0 10 2
0 10 0 2
0
end_operator
begin_operator
board p3 slow0-0 n2 n1 n2
1
6 2
2
0 0 10 2
0 10 2 1
0
end_operator
begin_operator
board p3 slow0-0 n4 n0 n1
1
6 1
2
0 0 7 2
0 10 0 2
0
end_operator
begin_operator
board p3 slow0-0 n4 n1 n2
1
6 1
2
0 0 7 2
0 10 2 1
0
end_operator
begin_operator
board p3 slow1-0 n4 n0 n1
1
5 4
2
0 0 7 9
0 11 1 2
0
end_operator
begin_operator
board p3 slow1-0 n4 n1 n2
1
5 4
2
0 0 7 9
0 11 2 0
0
end_operator
begin_operator
board p3 fast0 n4 n0 n1
1
7 4
2
0 0 7 6
0 8 1 3
0
end_operator
begin_operator
board p3 fast0 n4 n1 n2
1
7 4
2
0 0 7 6
0 8 3 0
0
end_operator
begin_operator
board p3 fast1 n4 n0 n1
1
4 0
2
0 0 7 11
0 9 0 2
0
end_operator
begin_operator
board p3 fast1 n4 n1 n2
1
4 0
2
0 0 7 11
0 9 2 1
0
end_operator
begin_operator
board p3 fast1 n6 n0 n1
1
4 4
2
0 0 3 11
0 9 0 2
0
end_operator
begin_operator
board p3 fast1 n6 n1 n2
1
4 4
2
0 0 3 11
0 9 2 1
0
end_operator
begin_operator
board p3 fast0 n6 n0 n1
1
7 1
2
0 0 3 6
0 8 1 3
0
end_operator
begin_operator
board p3 fast0 n6 n1 n2
1
7 1
2
0 0 3 6
0 8 3 0
0
end_operator
begin_operator
board p3 slow1-0 n6 n0 n1
1
5 0
2
0 0 3 9
0 11 1 2
0
end_operator
begin_operator
board p3 slow1-0 n6 n1 n2
1
5 0
2
0 0 3 9
0 11 2 0
0
end_operator
begin_operator
board p3 slow0-0 n1 n0 n1
1
6 0
2
0 0 4 2
0 10 0 2
0
end_operator
begin_operator
board p3 slow0-0 n1 n1 n2
1
6 0
2
0 0 4 2
0 10 2 1
0
end_operator
begin_operator
board p3 slow0-0 n3 n0 n1
1
6 4
2
0 0 0 2
0 10 0 2
0
end_operator
begin_operator
board p3 slow0-0 n3 n1 n2
1
6 4
2
0 0 0 2
0 10 2 1
0
end_operator
begin_operator
board p1 slow0-0 n4 n0 n1
1
6 1
2
0 1 11 4
0 10 0 2
0
end_operator
begin_operator
board p1 slow0-0 n4 n1 n2
1
6 1
2
0 1 11 4
0 10 2 1
0
end_operator
begin_operator
board p1 slow1-0 n4 n0 n1
1
5 4
2
0 1 11 5
0 11 1 2
0
end_operator
begin_operator
board p1 slow1-0 n4 n1 n2
1
5 4
2
0 1 11 5
0 11 2 0
0
end_operator
begin_operator
board p1 fast0 n4 n0 n1
1
7 4
2
0 1 11 9
0 8 1 3
0
end_operator
begin_operator
board p1 fast0 n4 n1 n2
1
7 4
2
0 1 11 9
0 8 3 0
0
end_operator
begin_operator
board p1 fast1 n4 n0 n1
1
4 0
2
0 1 11 0
0 9 0 2
0
end_operator
begin_operator
board p1 fast1 n4 n1 n2
1
4 0
2
0 1 11 0
0 9 2 1
0
end_operator
begin_operator
board p1 fast0 n0 n0 n1
1
7 2
2
0 1 6 9
0 8 1 3
0
end_operator
begin_operator
board p1 fast0 n0 n1 n2
1
7 2
2
0 1 6 9
0 8 3 0
0
end_operator
begin_operator
board p1 fast1 n0 n0 n1
1
4 3
2
0 1 6 0
0 9 0 2
0
end_operator
begin_operator
board p1 fast1 n0 n1 n2
1
4 3
2
0 1 6 0
0 9 2 1
0
end_operator
begin_operator
board p1 slow0-0 n0 n0 n1
1
6 3
2
0 1 6 4
0 10 0 2
0
end_operator
begin_operator
board p1 slow0-0 n0 n1 n2
1
6 3
2
0 1 6 4
0 10 2 1
0
end_operator
begin_operator
board p1 fast0 n2 n0 n1
1
7 3
2
0 1 7 9
0 8 1 3
0
end_operator
begin_operator
board p1 fast0 n2 n1 n2
1
7 3
2
0 1 7 9
0 8 3 0
0
end_operator
begin_operator
board p1 fast1 n2 n0 n1
1
4 2
2
0 1 7 0
0 9 0 2
0
end_operator
begin_operator
board p1 fast1 n2 n1 n2
1
4 2
2
0 1 7 0
0 9 2 1
0
end_operator
begin_operator
board p1 slow0-0 n2 n0 n1
1
6 2
2
0 1 7 4
0 10 0 2
0
end_operator
begin_operator
board p1 slow0-0 n2 n1 n2
1
6 2
2
0 1 7 4
0 10 2 1
0
end_operator
begin_operator
board p1 slow0-0 n3 n0 n1
1
6 4
2
0 1 12 4
0 10 0 2
0
end_operator
begin_operator
board p1 slow0-0 n3 n1 n2
1
6 4
2
0 1 12 4
0 10 2 1
0
end_operator
begin_operator
board p0 slow0-0 n4 n0 n1
1
6 1
2
0 3 5 9
0 10 0 2
0
end_operator
begin_operator
board p0 slow0-0 n4 n1 n2
1
6 1
2
0 3 5 9
0 10 2 1
0
end_operator
begin_operator
board p0 slow1-0 n4 n0 n1
1
5 4
2
0 3 5 3
0 11 1 2
0
end_operator
begin_operator
board p0 slow1-0 n4 n1 n2
1
5 4
2
0 3 5 3
0 11 2 0
0
end_operator
begin_operator
board p0 fast0 n4 n0 n1
1
7 4
2
0 3 5 2
0 8 1 3
0
end_operator
begin_operator
board p0 fast0 n4 n1 n2
1
7 4
2
0 3 5 2
0 8 3 0
0
end_operator
begin_operator
board p0 fast1 n4 n0 n1
1
4 0
2
0 3 5 10
0 9 0 2
0
end_operator
begin_operator
board p0 fast1 n4 n1 n2
1
4 0
2
0 3 5 10
0 9 2 1
0
end_operator
begin_operator
board p0 fast0 n0 n0 n1
1
7 2
2
0 3 1 2
0 8 1 3
0
end_operator
begin_operator
board p0 fast0 n0 n1 n2
1
7 2
2
0 3 1 2
0 8 3 0
0
end_operator
begin_operator
board p0 fast1 n0 n0 n1
1
4 3
2
0 3 1 10
0 9 0 2
0
end_operator
begin_operator
board p0 fast1 n0 n1 n2
1
4 3
2
0 3 1 10
0 9 2 1
0
end_operator
begin_operator
board p0 slow0-0 n0 n0 n1
1
6 3
2
0 3 1 9
0 10 0 2
0
end_operator
begin_operator
board p0 slow0-0 n0 n1 n2
1
6 3
2
0 3 1 9
0 10 2 1
0
end_operator
begin_operator
board p0 slow0-0 n1 n0 n1
1
6 0
2
0 3 7 9
0 10 0 2
0
end_operator
begin_operator
board p0 slow0-0 n1 n1 n2
1
6 0
2
0 3 7 9
0 10 2 1
0
end_operator
begin_operator
board p0 fast0 n2 n0 n1
1
7 3
2
0 3 8 2
0 8 1 3
0
end_operator
begin_operator
board p0 fast0 n2 n1 n2
1
7 3
2
0 3 8 2
0 8 3 0
0
end_operator
begin_operator
board p0 fast1 n2 n0 n1
1
4 2
2
0 3 8 10
0 9 0 2
0
end_operator
begin_operator
board p0 fast1 n2 n1 n2
1
4 2
2
0 3 8 10
0 9 2 1
0
end_operator
begin_operator
board p0 slow0-0 n2 n0 n1
1
6 2
2
0 3 8 9
0 10 0 2
0
end_operator
begin_operator
board p0 slow0-0 n2 n1 n2
1
6 2
2
0 3 8 9
0 10 2 1
0
end_operator
begin_operator
board p2 slow0-0 n4 n0 n1
1
6 1
2
0 2 7 4
0 10 0 2
0
end_operator
begin_operator
board p2 slow0-0 n4 n1 n2
1
6 1
2
0 2 7 4
0 10 2 1
0
end_operator
begin_operator
board p2 slow1-0 n4 n0 n1
1
5 4
2
0 2 7 11
0 11 1 2
0
end_operator
begin_operator
board p2 slow1-0 n4 n1 n2
1
5 4
2
0 2 7 11
0 11 2 0
0
end_operator
begin_operator
board p2 fast0 n4 n0 n1
1
7 4
2
0 2 7 8
0 8 1 3
0
end_operator
begin_operator
board p2 fast0 n4 n1 n2
1
7 4
2
0 2 7 8
0 8 3 0
0
end_operator
begin_operator
board p2 fast1 n4 n0 n1
1
4 0
2
0 2 7 10
0 9 0 2
0
end_operator
begin_operator
board p2 fast1 n4 n1 n2
1
4 0
2
0 2 7 10
0 9 2 1
0
end_operator
begin_operator
board p2 slow1-0 n5 n0 n1
1
5 2
2
0 2 2 11
0 11 1 2
0
end_operator
begin_operator
board p2 slow1-0 n5 n1 n2
1
5 2
2
0 2 2 11
0 11 2 0
0
end_operator
begin_operator
board p2 fast1 n6 n0 n1
1
4 4
2
0 2 1 10
0 9 0 2
0
end_operator
begin_operator
board p2 fast1 n6 n1 n2
1
4 4
2
0 2 1 10
0 9 2 1
0
end_operator
begin_operator
board p2 fast0 n6 n0 n1
1
7 1
2
0 2 1 8
0 8 1 3
0
end_operator
begin_operator
board p2 fast0 n6 n1 n2
1
7 1
2
0 2 1 8
0 8 3 0
0
end_operator
begin_operator
board p2 slow1-0 n6 n0 n1
1
5 0
2
0 2 1 11
0 11 1 2
0
end_operator
begin_operator
board p2 slow1-0 n6 n1 n2
1
5 0
2
0 2 1 11
0 11 2 0
0
end_operator
begin_operator
board p2 fast0 n8 n0 n1
1
7 0
2
0 2 5 8
0 8 1 3
0
end_operator
begin_operator
board p2 fast0 n8 n1 n2
1
7 0
2
0 2 5 8
0 8 3 0
0
end_operator
begin_operator
board p2 fast1 n8 n0 n1
1
4 1
2
0 2 5 10
0 9 0 2
0
end_operator
begin_operator
board p2 fast1 n8 n1 n2
1
4 1
2
0 2 5 10
0 9 2 1
0
end_operator
begin_operator
board p2 slow1-0 n8 n0 n1
1
5 1
2
0 2 5 11
0 11 1 2
0
end_operator
begin_operator
board p2 slow1-0 n8 n1 n2
1
5 1
2
0 2 5 11
0 11 2 0
0
end_operator
begin_operator
board p3 fast0 n0 n2 n3
1
7 2
2
0 0 12 6
0 8 0 2
0
end_operator
begin_operator
board p3 fast0 n8 n2 n3
1
7 0
2
0 0 5 6
0 8 0 2
0
end_operator
begin_operator
board p3 fast0 n2 n2 n3
1
7 3
2
0 0 10 6
0 8 0 2
0
end_operator
begin_operator
board p3 fast0 n4 n2 n3
1
7 4
2
0 0 7 6
0 8 0 2
0
end_operator
begin_operator
board p3 fast0 n6 n2 n3
1
7 1
2
0 0 3 6
0 8 0 2
0
end_operator
begin_operator
board p1 fast0 n4 n2 n3
1
7 4
2
0 1 11 9
0 8 0 2
0
end_operator
begin_operator
board p1 fast0 n0 n2 n3
1
7 2
2
0 1 6 9
0 8 0 2
0
end_operator
begin_operator
board p1 fast0 n2 n2 n3
1
7 3
2
0 1 7 9
0 8 0 2
0
end_operator
begin_operator
board p0 fast0 n4 n2 n3
1
7 4
2
0 3 5 2
0 8 0 2
0
end_operator
begin_operator
board p0 fast0 n0 n2 n3
1
7 2
2
0 3 1 2
0 8 0 2
0
end_operator
begin_operator
board p0 fast0 n2 n2 n3
1
7 3
2
0 3 8 2
0 8 0 2
0
end_operator
begin_operator
board p2 fast0 n4 n2 n3
1
7 4
2
0 2 7 8
0 8 0 2
0
end_operator
begin_operator
board p2 fast0 n6 n2 n3
1
7 1
2
0 2 1 8
0 8 0 2
0
end_operator
begin_operator
board p2 fast0 n8 n2 n3
1
7 0
2
0 2 5 8
0 8 0 2
0
end_operator
begin_operator
leave p3 fast0 n8 n2 n1
1
7 0
2
0 0 6 5
0 8 0 3
0
end_operator
begin_operator
leave p3 fast0 n0 n2 n1
1
7 2
2
0 0 6 12
0 8 0 3
0
end_operator
begin_operator
leave p3 fast0 n2 n2 n1
1
7 3
2
0 0 6 10
0 8 0 3
0
end_operator
begin_operator
leave p3 fast0 n4 n2 n1
1
7 4
2
0 0 6 7
0 8 0 3
0
end_operator
begin_operator
leave p3 fast0 n6 n2 n1
1
7 1
2
0 0 6 3
0 8 0 3
0
end_operator
begin_operator
board p3 fast1 n0 n2 n3
1
4 3
2
0 0 12 11
0 9 1 3
0
end_operator
begin_operator
board p3 fast1 n8 n2 n3
1
4 1
2
0 0 5 11
0 9 1 3
0
end_operator
begin_operator
board p3 fast1 n2 n2 n3
1
4 2
2
0 0 10 11
0 9 1 3
0
end_operator
begin_operator
board p3 fast1 n4 n2 n3
1
4 0
2
0 0 7 11
0 9 1 3
0
end_operator
begin_operator
board p3 fast1 n6 n2 n3
1
4 4
2
0 0 3 11
0 9 1 3
0
end_operator
begin_operator
board p1 fast1 n4 n2 n3
1
4 0
2
0 1 11 0
0 9 1 3
0
end_operator
begin_operator
board p1 fast1 n0 n2 n3
1
4 3
2
0 1 6 0
0 9 1 3
0
end_operator
begin_operator
board p1 fast1 n2 n2 n3
1
4 2
2
0 1 7 0
0 9 1 3
0
end_operator
begin_operator
board p0 fast1 n4 n2 n3
1
4 0
2
0 3 5 10
0 9 1 3
0
end_operator
begin_operator
board p0 fast1 n0 n2 n3
1
4 3
2
0 3 1 10
0 9 1 3
0
end_operator
begin_operator
board p0 fast1 n2 n2 n3
1
4 2
2
0 3 8 10
0 9 1 3
0
end_operator
begin_operator
board p2 fast1 n4 n2 n3
1
4 0
2
0 2 7 10
0 9 1 3
0
end_operator
begin_operator
board p2 fast1 n6 n2 n3
1
4 4
2
0 2 1 10
0 9 1 3
0
end_operator
begin_operator
board p2 fast1 n8 n2 n3
1
4 1
2
0 2 5 10
0 9 1 3
0
end_operator
begin_operator
leave p3 fast1 n6 n2 n1
1
4 4
2
0 0 11 3
0 9 1 2
0
end_operator
begin_operator
leave p3 fast1 n8 n2 n1
1
4 1
2
0 0 11 5
0 9 1 2
0
end_operator
begin_operator
leave p3 fast1 n0 n2 n1
1
4 3
2
0 0 11 12
0 9 1 2
0
end_operator
begin_operator
leave p3 fast1 n2 n2 n1
1
4 2
2
0 0 11 10
0 9 1 2
0
end_operator
begin_operator
leave p3 fast1 n4 n2 n1
1
4 0
2
0 0 11 7
0 9 1 2
0
end_operator
begin_operator
leave p3 slow0-0 n4 n2 n1
1
6 1
2
0 0 2 7
0 10 1 2
0
end_operator
begin_operator
leave p3 slow0-0 n0 n2 n1
1
6 3
2
0 0 2 12
0 10 1 2
0
end_operator
begin_operator
leave p3 slow0-0 n1 n2 n1
1
6 0
2
0 0 2 4
0 10 1 2
0
end_operator
begin_operator
leave p3 slow0-0 n2 n2 n1
1
6 2
2
0 0 2 10
0 10 1 2
0
end_operator
begin_operator
leave p3 slow0-0 n3 n2 n1
1
6 4
2
0 0 2 0
0 10 1 2
0
end_operator
begin_operator
leave p1 slow0-0 n4 n2 n1
1
6 1
2
0 1 4 11
0 10 1 2
0
end_operator
begin_operator
leave p1 slow0-0 n0 n2 n1
1
6 3
2
0 1 4 6
0 10 1 2
0
end_operator
begin_operator
leave p1 slow0-0 n1 n2 n1
1
6 0
2
0 1 4 8
0 10 1 2
0
end_operator
begin_operator
leave p1 slow0-0 n2 n2 n1
1
6 2
2
0 1 4 7
0 10 1 2
0
end_operator
begin_operator
leave p1 slow0-0 n3 n2 n1
1
6 4
2
0 1 4 12
0 10 1 2
0
end_operator
begin_operator
leave p0 slow0-0 n4 n2 n1
1
6 1
2
0 3 9 5
0 10 1 2
0
end_operator
begin_operator
leave p0 slow0-0 n0 n2 n1
1
6 3
2
0 3 9 1
0 10 1 2
0
end_operator
begin_operator
leave p0 slow0-0 n1 n2 n1
1
6 0
2
0 3 9 7
0 10 1 2
0
end_operator
begin_operator
leave p0 slow0-0 n2 n2 n1
1
6 2
2
0 3 9 8
0 10 1 2
0
end_operator
begin_operator
leave p0 slow0-0 n3 n2 n1
1
6 4
2
0 3 9 4
0 10 1 2
0
end_operator
begin_operator
leave p2 slow1-0 n4 n2 n1
1
5 4
2
0 2 11 7
0 11 0 2
0
end_operator
begin_operator
leave p2 slow1-0 n5 n2 n1
1
5 2
2
0 2 11 2
0 11 0 2
0
end_operator
begin_operator
leave p2 slow1-0 n6 n2 n1
1
5 0
2
0 2 11 1
0 11 0 2
0
end_operator
begin_operator
leave p2 slow1-0 n7 n2 n1
1
5 3
2
0 2 11 6
0 11 0 2
0
end_operator
begin_operator
leave p2 slow1-0 n8 n2 n1
1
5 1
2
0 2 11 5
0 11 0 2
0
end_operator
begin_operator
leave p3 slow1-0 n4 n1 n0
1
5 4
2
0 0 9 7
0 11 2 1
0
end_operator
begin_operator
leave p3 slow1-0 n5 n1 n0
1
5 2
2
0 0 9 1
0 11 2 1
0
end_operator
begin_operator
leave p3 slow1-0 n6 n1 n0
1
5 0
2
0 0 9 3
0 11 2 1
0
end_operator
begin_operator
leave p3 slow1-0 n7 n1 n0
1
5 3
2
0 0 9 8
0 11 2 1
0
end_operator
begin_operator
leave p3 slow1-0 n8 n1 n0
1
5 1
2
0 0 9 5
0 11 2 1
0
end_operator
begin_operator
leave p3 slow1-0 n4 n2 n1
1
5 4
2
0 0 9 7
0 11 0 2
0
end_operator
begin_operator
leave p3 slow1-0 n5 n2 n1
1
5 2
2
0 0 9 1
0 11 0 2
0
end_operator
begin_operator
leave p3 slow1-0 n6 n2 n1
1
5 0
2
0 0 9 3
0 11 0 2
0
end_operator
begin_operator
leave p3 slow1-0 n7 n2 n1
1
5 3
2
0 0 9 8
0 11 0 2
0
end_operator
begin_operator
leave p3 slow1-0 n8 n2 n1
1
5 1
2
0 0 9 5
0 11 0 2
0
end_operator
begin_operator
leave p1 slow1-0 n4 n1 n0
1
5 4
2
0 1 5 11
0 11 2 1
0
end_operator
begin_operator
leave p1 slow1-0 n5 n1 n0
1
5 2
2
0 1 5 2
0 11 2 1
0
end_operator
begin_operator
leave p1 slow1-0 n6 n1 n0
1
5 0
2
0 1 5 1
0 11 2 1
0
end_operator
begin_operator
leave p1 slow1-0 n7 n1 n0
1
5 3
2
0 1 5 10
0 11 2 1
0
end_operator
begin_operator
leave p1 slow1-0 n8 n1 n0
1
5 1
2
0 1 5 3
0 11 2 1
0
end_operator
begin_operator
leave p1 slow1-0 n4 n2 n1
1
5 4
2
0 1 5 11
0 11 0 2
0
end_operator
begin_operator
leave p1 slow1-0 n5 n2 n1
1
5 2
2
0 1 5 2
0 11 0 2
0
end_operator
begin_operator
leave p1 slow1-0 n6 n2 n1
1
5 0
2
0 1 5 1
0 11 0 2
0
end_operator
begin_operator
leave p1 slow1-0 n7 n2 n1
1
5 3
2
0 1 5 10
0 11 0 2
0
end_operator
begin_operator
leave p1 slow1-0 n8 n2 n1
1
5 1
2
0 1 5 3
0 11 0 2
0
end_operator
begin_operator
leave p1 fast0 n8 n1 n0
1
7 0
2
0 1 9 3
0 8 3 1
0
end_operator
begin_operator
leave p1 fast0 n0 n1 n0
1
7 2
2
0 1 9 6
0 8 3 1
0
end_operator
begin_operator
leave p1 fast0 n2 n1 n0
1
7 3
2
0 1 9 7
0 8 3 1
0
end_operator
begin_operator
leave p1 fast0 n4 n1 n0
1
7 4
2
0 1 9 11
0 8 3 1
0
end_operator
begin_operator
leave p1 fast0 n6 n1 n0
1
7 1
2
0 1 9 1
0 8 3 1
0
end_operator
begin_operator
leave p1 fast0 n8 n2 n1
1
7 0
2
0 1 9 3
0 8 0 3
0
end_operator
begin_operator
leave p1 fast0 n0 n2 n1
1
7 2
2
0 1 9 6
0 8 0 3
0
end_operator
begin_operator
leave p1 fast0 n2 n2 n1
1
7 3
2
0 1 9 7
0 8 0 3
0
end_operator
begin_operator
leave p1 fast0 n4 n2 n1
1
7 4
2
0 1 9 11
0 8 0 3
0
end_operator
begin_operator
leave p1 fast0 n6 n2 n1
1
7 1
2
0 1 9 1
0 8 0 3
0
end_operator
begin_operator
leave p1 fast1 n6 n1 n0
1
4 4
2
0 1 0 1
0 9 2 0
0
end_operator
begin_operator
leave p1 fast1 n8 n1 n0
1
4 1
2
0 1 0 3
0 9 2 0
0
end_operator
begin_operator
leave p1 fast1 n0 n1 n0
1
4 3
2
0 1 0 6
0 9 2 0
0
end_operator
begin_operator
leave p1 fast1 n2 n1 n0
1
4 2
2
0 1 0 7
0 9 2 0
0
end_operator
begin_operator
leave p1 fast1 n4 n1 n0
1
4 0
2
0 1 0 11
0 9 2 0
0
end_operator
begin_operator
leave p1 fast1 n6 n2 n1
1
4 4
2
0 1 0 1
0 9 1 2
0
end_operator
begin_operator
leave p1 fast1 n8 n2 n1
1
4 1
2
0 1 0 3
0 9 1 2
0
end_operator
begin_operator
leave p1 fast1 n0 n2 n1
1
4 3
2
0 1 0 6
0 9 1 2
0
end_operator
begin_operator
leave p1 fast1 n2 n2 n1
1
4 2
2
0 1 0 7
0 9 1 2
0
end_operator
begin_operator
leave p1 fast1 n4 n2 n1
1
4 0
2
0 1 0 11
0 9 1 2
0
end_operator
begin_operator
leave p0 slow1-0 n4 n1 n0
1
5 4
2
0 3 3 5
0 11 2 1
0
end_operator
begin_operator
leave p0 slow1-0 n5 n1 n0
1
5 2
2
0 3 3 12
0 11 2 1
0
end_operator
begin_operator
leave p0 slow1-0 n6 n1 n0
1
5 0
2
0 3 3 0
0 11 2 1
0
end_operator
begin_operator
leave p0 slow1-0 n7 n1 n0
1
5 3
2
0 3 3 11
0 11 2 1
0
end_operator
begin_operator
leave p0 slow1-0 n8 n1 n0
1
5 1
2
0 3 3 6
0 11 2 1
0
end_operator
begin_operator
leave p0 slow1-0 n4 n2 n1
1
5 4
2
0 3 3 5
0 11 0 2
0
end_operator
begin_operator
leave p0 slow1-0 n5 n2 n1
1
5 2
2
0 3 3 12
0 11 0 2
0
end_operator
begin_operator
leave p0 slow1-0 n6 n2 n1
1
5 0
2
0 3 3 0
0 11 0 2
0
end_operator
begin_operator
leave p0 slow1-0 n7 n2 n1
1
5 3
2
0 3 3 11
0 11 0 2
0
end_operator
begin_operator
leave p0 slow1-0 n8 n2 n1
1
5 1
2
0 3 3 6
0 11 0 2
0
end_operator
begin_operator
leave p0 fast0 n8 n1 n0
1
7 0
2
0 3 2 6
0 8 3 1
0
end_operator
begin_operator
leave p0 fast0 n0 n1 n0
1
7 2
2
0 3 2 1
0 8 3 1
0
end_operator
begin_operator
leave p0 fast0 n2 n1 n0
1
7 3
2
0 3 2 8
0 8 3 1
0
end_operator
begin_operator
leave p0 fast0 n4 n1 n0
1
7 4
2
0 3 2 5
0 8 3 1
0
end_operator
begin_operator
leave p0 fast0 n6 n1 n0
1
7 1
2
0 3 2 0
0 8 3 1
0
end_operator
begin_operator
leave p0 fast0 n8 n2 n1
1
7 0
2
0 3 2 6
0 8 0 3
0
end_operator
begin_operator
leave p0 fast0 n0 n2 n1
1
7 2
2
0 3 2 1
0 8 0 3
0
end_operator
begin_operator
leave p0 fast0 n2 n2 n1
1
7 3
2
0 3 2 8
0 8 0 3
0
end_operator
begin_operator
leave p0 fast0 n4 n2 n1
1
7 4
2
0 3 2 5
0 8 0 3
0
end_operator
begin_operator
leave p0 fast0 n6 n2 n1
1
7 1
2
0 3 2 0
0 8 0 3
0
end_operator
begin_operator
leave p0 fast1 n6 n1 n0
1
4 4
2
0 3 10 0
0 9 2 0
0
end_operator
begin_operator
leave p0 fast1 n8 n1 n0
1
4 1
2
0 3 10 6
0 9 2 0
0
end_operator
begin_operator
leave p0 fast1 n0 n1 n0
1
4 3
2
0 3 10 1
0 9 2 0
0
end_operator
begin_operator
leave p0 fast1 n2 n1 n0
1
4 2
2
0 3 10 8
0 9 2 0
0
end_operator
begin_operator
leave p0 fast1 n4 n1 n0
1
4 0
2
0 3 10 5
0 9 2 0
0
end_operator
begin_operator
leave p0 fast1 n6 n2 n1
1
4 4
2
0 3 10 0
0 9 1 2
0
end_operator
begin_operator
leave p0 fast1 n8 n2 n1
1
4 1
2
0 3 10 6
0 9 1 2
0
end_operator
begin_operator
leave p0 fast1 n0 n2 n1
1
4 3
2
0 3 10 1
0 9 1 2
0
end_operator
begin_operator
leave p0 fast1 n2 n2 n1
1
4 2
2
0 3 10 8
0 9 1 2
0
end_operator
begin_operator
leave p0 fast1 n4 n2 n1
1
4 0
2
0 3 10 5
0 9 1 2
0
end_operator
begin_operator
leave p2 slow0-0 n4 n1 n0
1
6 1
2
0 2 4 7
0 10 2 0
0
end_operator
begin_operator
leave p2 slow0-0 n0 n1 n0
1
6 3
2
0 2 4 0
0 10 2 0
0
end_operator
begin_operator
leave p2 slow0-0 n1 n1 n0
1
6 0
2
0 2 4 9
0 10 2 0
0
end_operator
begin_operator
leave p2 slow0-0 n2 n1 n0
1
6 2
2
0 2 4 3
0 10 2 0
0
end_operator
begin_operator
leave p2 slow0-0 n3 n1 n0
1
6 4
2
0 2 4 12
0 10 2 0
0
end_operator
begin_operator
leave p2 slow0-0 n4 n2 n1
1
6 1
2
0 2 4 7
0 10 1 2
0
end_operator
begin_operator
leave p2 slow0-0 n0 n2 n1
1
6 3
2
0 2 4 0
0 10 1 2
0
end_operator
begin_operator
leave p2 slow0-0 n1 n2 n1
1
6 0
2
0 2 4 9
0 10 1 2
0
end_operator
begin_operator
leave p2 slow0-0 n2 n2 n1
1
6 2
2
0 2 4 3
0 10 1 2
0
end_operator
begin_operator
leave p2 slow0-0 n3 n2 n1
1
6 4
2
0 2 4 12
0 10 1 2
0
end_operator
begin_operator
leave p2 fast0 n8 n1 n0
1
7 0
2
0 2 8 5
0 8 3 1
0
end_operator
begin_operator
leave p2 fast0 n0 n1 n0
1
7 2
2
0 2 8 0
0 8 3 1
0
end_operator
begin_operator
leave p2 fast0 n2 n1 n0
1
7 3
2
0 2 8 3
0 8 3 1
0
end_operator
begin_operator
leave p2 fast0 n4 n1 n0
1
7 4
2
0 2 8 7
0 8 3 1
0
end_operator
begin_operator
leave p2 fast0 n6 n1 n0
1
7 1
2
0 2 8 1
0 8 3 1
0
end_operator
begin_operator
leave p2 fast0 n8 n2 n1
1
7 0
2
0 2 8 5
0 8 0 3
0
end_operator
begin_operator
leave p2 fast0 n0 n2 n1
1
7 2
2
0 2 8 0
0 8 0 3
0
end_operator
begin_operator
leave p2 fast0 n2 n2 n1
1
7 3
2
0 2 8 3
0 8 0 3
0
end_operator
begin_operator
leave p2 fast0 n4 n2 n1
1
7 4
2
0 2 8 7
0 8 0 3
0
end_operator
begin_operator
leave p2 fast0 n6 n2 n1
1
7 1
2
0 2 8 1
0 8 0 3
0
end_operator
begin_operator
leave p2 fast1 n6 n1 n0
1
4 4
2
0 2 10 1
0 9 2 0
0
end_operator
begin_operator
leave p2 fast1 n8 n1 n0
1
4 1
2
0 2 10 5
0 9 2 0
0
end_operator
begin_operator
leave p2 fast1 n0 n1 n0
1
4 3
2
0 2 10 0
0 9 2 0
0
end_operator
begin_operator
leave p2 fast1 n2 n1 n0
1
4 2
2
0 2 10 3
0 9 2 0
0
end_operator
begin_operator
leave p2 fast1 n4 n1 n0
1
4 0
2
0 2 10 7
0 9 2 0
0
end_operator
begin_operator
leave p2 fast1 n6 n2 n1
1
4 4
2
0 2 10 1
0 9 1 2
0
end_operator
begin_operator
leave p2 fast1 n8 n2 n1
1
4 1
2
0 2 10 5
0 9 1 2
0
end_operator
begin_operator
leave p2 fast1 n0 n2 n1
1
4 3
2
0 2 10 0
0 9 1 2
0
end_operator
begin_operator
leave p2 fast1 n2 n2 n1
1
4 2
2
0 2 10 3
0 9 1 2
0
end_operator
begin_operator
leave p2 fast1 n4 n2 n1
1
4 0
2
0 2 10 7
0 9 1 2
0
end_operator
begin_operator
leave p3 fast0 n8 n3 n2
1
7 0
2
0 0 6 5
0 8 2 0
0
end_operator
begin_operator
leave p3 fast0 n0 n3 n2
1
7 2
2
0 0 6 12
0 8 2 0
0
end_operator
begin_operator
leave p3 fast0 n2 n3 n2
1
7 3
2
0 0 6 10
0 8 2 0
0
end_operator
begin_operator
leave p3 fast0 n4 n3 n2
1
7 4
2
0 0 6 7
0 8 2 0
0
end_operator
begin_operator
leave p3 fast0 n6 n3 n2
1
7 1
2
0 0 6 3
0 8 2 0
0
end_operator
begin_operator
leave p1 fast0 n8 n3 n2
1
7 0
2
0 1 9 3
0 8 2 0
0
end_operator
begin_operator
leave p1 fast0 n0 n3 n2
1
7 2
2
0 1 9 6
0 8 2 0
0
end_operator
begin_operator
leave p1 fast0 n2 n3 n2
1
7 3
2
0 1 9 7
0 8 2 0
0
end_operator
begin_operator
leave p1 fast0 n4 n3 n2
1
7 4
2
0 1 9 11
0 8 2 0
0
end_operator
begin_operator
leave p1 fast0 n6 n3 n2
1
7 1
2
0 1 9 1
0 8 2 0
0
end_operator
begin_operator
leave p0 fast0 n8 n3 n2
1
7 0
2
0 3 2 6
0 8 2 0
0
end_operator
begin_operator
leave p0 fast0 n0 n3 n2
1
7 2
2
0 3 2 1
0 8 2 0
0
end_operator
begin_operator
leave p0 fast0 n2 n3 n2
1
7 3
2
0 3 2 8
0 8 2 0
0
end_operator
begin_operator
leave p0 fast0 n4 n3 n2
1
7 4
2
0 3 2 5
0 8 2 0
0
end_operator
begin_operator
leave p0 fast0 n6 n3 n2
1
7 1
2
0 3 2 0
0 8 2 0
0
end_operator
begin_operator
leave p2 fast0 n8 n3 n2
1
7 0
2
0 2 8 5
0 8 2 0
0
end_operator
begin_operator
leave p2 fast0 n0 n3 n2
1
7 2
2
0 2 8 0
0 8 2 0
0
end_operator
begin_operator
leave p2 fast0 n2 n3 n2
1
7 3
2
0 2 8 3
0 8 2 0
0
end_operator
begin_operator
leave p2 fast0 n4 n3 n2
1
7 4
2
0 2 8 7
0 8 2 0
0
end_operator
begin_operator
leave p2 fast0 n6 n3 n2
1
7 1
2
0 2 8 1
0 8 2 0
0
end_operator
begin_operator
leave p3 fast1 n6 n3 n2
1
4 4
2
0 0 11 3
0 9 3 1
0
end_operator
begin_operator
leave p3 fast1 n8 n3 n2
1
4 1
2
0 0 11 5
0 9 3 1
0
end_operator
begin_operator
leave p3 fast1 n0 n3 n2
1
4 3
2
0 0 11 12
0 9 3 1
0
end_operator
begin_operator
leave p3 fast1 n2 n3 n2
1
4 2
2
0 0 11 10
0 9 3 1
0
end_operator
begin_operator
leave p3 fast1 n4 n3 n2
1
4 0
2
0 0 11 7
0 9 3 1
0
end_operator
begin_operator
leave p1 fast1 n6 n3 n2
1
4 4
2
0 1 0 1
0 9 3 1
0
end_operator
begin_operator
leave p1 fast1 n8 n3 n2
1
4 1
2
0 1 0 3
0 9 3 1
0
end_operator
begin_operator
leave p1 fast1 n0 n3 n2
1
4 3
2
0 1 0 6
0 9 3 1
0
end_operator
begin_operator
leave p1 fast1 n2 n3 n2
1
4 2
2
0 1 0 7
0 9 3 1
0
end_operator
begin_operator
leave p1 fast1 n4 n3 n2
1
4 0
2
0 1 0 11
0 9 3 1
0
end_operator
begin_operator
leave p0 fast1 n6 n3 n2
1
4 4
2
0 3 10 0
0 9 3 1
0
end_operator
begin_operator
leave p0 fast1 n8 n3 n2
1
4 1
2
0 3 10 6
0 9 3 1
0
end_operator
begin_operator
leave p0 fast1 n0 n3 n2
1
4 3
2
0 3 10 1
0 9 3 1
0
end_operator
begin_operator
leave p0 fast1 n2 n3 n2
1
4 2
2
0 3 10 8
0 9 3 1
0
end_operator
begin_operator
leave p0 fast1 n4 n3 n2
1
4 0
2
0 3 10 5
0 9 3 1
0
end_operator
begin_operator
leave p2 fast1 n6 n3 n2
1
4 4
2
0 2 10 1
0 9 3 1
0
end_operator
begin_operator
leave p2 fast1 n8 n3 n2
1
4 1
2
0 2 10 5
0 9 3 1
0
end_operator
begin_operator
leave p2 fast1 n0 n3 n2
1
4 3
2
0 2 10 0
0 9 3 1
0
end_operator
begin_operator
leave p2 fast1 n2 n3 n2
1
4 2
2
0 2 10 3
0 9 3 1
0
end_operator
begin_operator
leave p2 fast1 n4 n3 n2
1
4 0
2
0 2 10 7
0 9 3 1
0
end_operator
begin_operator
board p3 slow1-0 n5 n0 n1
1
5 2
2
0 0 1 9
0 11 1 2
0
end_operator
begin_operator
board p3 slow1-0 n5 n1 n2
1
5 2
2
0 0 1 9
0 11 2 0
0
end_operator
begin_operator
board p3 slow1-0 n7 n0 n1
1
5 3
2
0 0 8 9
0 11 1 2
0
end_operator
begin_operator
board p3 slow1-0 n7 n1 n2
1
5 3
2
0 0 8 9
0 11 2 0
0
end_operator
begin_operator
board p1 slow1-0 n5 n0 n1
1
5 2
2
0 1 2 5
0 11 1 2
0
end_operator
begin_operator
board p1 slow1-0 n5 n1 n2
1
5 2
2
0 1 2 5
0 11 2 0
0
end_operator
begin_operator
board p1 fast1 n6 n0 n1
1
4 4
2
0 1 1 0
0 9 0 2
0
end_operator
begin_operator
board p1 fast1 n6 n1 n2
1
4 4
2
0 1 1 0
0 9 2 1
0
end_operator
begin_operator
board p1 fast1 n6 n2 n3
1
4 4
2
0 1 1 0
0 9 1 3
0
end_operator
begin_operator
board p1 fast0 n6 n0 n1
1
7 1
2
0 1 1 9
0 8 1 3
0
end_operator
begin_operator
board p1 fast0 n6 n1 n2
1
7 1
2
0 1 1 9
0 8 3 0
0
end_operator
begin_operator
board p1 fast0 n6 n2 n3
1
7 1
2
0 1 1 9
0 8 0 2
0
end_operator
begin_operator
board p1 slow1-0 n6 n0 n1
1
5 0
2
0 1 1 5
0 11 1 2
0
end_operator
begin_operator
board p1 slow1-0 n6 n1 n2
1
5 0
2
0 1 1 5
0 11 2 0
0
end_operator
begin_operator
board p1 slow1-0 n7 n0 n1
1
5 3
2
0 1 10 5
0 11 1 2
0
end_operator
begin_operator
board p1 slow1-0 n7 n1 n2
1
5 3
2
0 1 10 5
0 11 2 0
0
end_operator
begin_operator
board p1 fast0 n8 n0 n1
1
7 0
2
0 1 3 9
0 8 1 3
0
end_operator
begin_operator
board p1 fast0 n8 n1 n2
1
7 0
2
0 1 3 9
0 8 3 0
0
end_operator
begin_operator
board p1 fast0 n8 n2 n3
1
7 0
2
0 1 3 9
0 8 0 2
0
end_operator
begin_operator
board p1 fast1 n8 n0 n1
1
4 1
2
0 1 3 0
0 9 0 2
0
end_operator
begin_operator
board p1 fast1 n8 n1 n2
1
4 1
2
0 1 3 0
0 9 2 1
0
end_operator
begin_operator
board p1 fast1 n8 n2 n3
1
4 1
2
0 1 3 0
0 9 1 3
0
end_operator
begin_operator
board p1 slow1-0 n8 n0 n1
1
5 1
2
0 1 3 5
0 11 1 2
0
end_operator
begin_operator
board p1 slow1-0 n8 n1 n2
1
5 1
2
0 1 3 5
0 11 2 0
0
end_operator
begin_operator
board p0 slow1-0 n5 n0 n1
1
5 2
2
0 3 12 3
0 11 1 2
0
end_operator
begin_operator
board p0 slow1-0 n5 n1 n2
1
5 2
2
0 3 12 3
0 11 2 0
0
end_operator
begin_operator
board p0 fast1 n6 n0 n1
1
4 4
2
0 3 0 10
0 9 0 2
0
end_operator
begin_operator
board p0 fast1 n6 n1 n2
1
4 4
2
0 3 0 10
0 9 2 1
0
end_operator
begin_operator
board p0 fast1 n6 n2 n3
1
4 4
2
0 3 0 10
0 9 1 3
0
end_operator
begin_operator
board p0 fast0 n6 n0 n1
1
7 1
2
0 3 0 2
0 8 1 3
0
end_operator
begin_operator
board p0 fast0 n6 n1 n2
1
7 1
2
0 3 0 2
0 8 3 0
0
end_operator
begin_operator
board p0 fast0 n6 n2 n3
1
7 1
2
0 3 0 2
0 8 0 2
0
end_operator
begin_operator
board p0 slow1-0 n6 n0 n1
1
5 0
2
0 3 0 3
0 11 1 2
0
end_operator
begin_operator
board p0 slow1-0 n6 n1 n2
1
5 0
2
0 3 0 3
0 11 2 0
0
end_operator
begin_operator
board p0 slow1-0 n7 n0 n1
1
5 3
2
0 3 11 3
0 11 1 2
0
end_operator
begin_operator
board p0 slow1-0 n7 n1 n2
1
5 3
2
0 3 11 3
0 11 2 0
0
end_operator
begin_operator
board p0 fast0 n8 n0 n1
1
7 0
2
0 3 6 2
0 8 1 3
0
end_operator
begin_operator
board p0 fast0 n8 n1 n2
1
7 0
2
0 3 6 2
0 8 3 0
0
end_operator
begin_operator
board p0 fast0 n8 n2 n3
1
7 0
2
0 3 6 2
0 8 0 2
0
end_operator
begin_operator
board p0 fast1 n8 n0 n1
1
4 1
2
0 3 6 10
0 9 0 2
0
end_operator
begin_operator
board p0 fast1 n8 n1 n2
1
4 1
2
0 3 6 10
0 9 2 1
0
end_operator
begin_operator
board p0 fast1 n8 n2 n3
1
4 1
2
0 3 6 10
0 9 1 3
0
end_operator
begin_operator
board p0 slow1-0 n8 n0 n1
1
5 1
2
0 3 6 3
0 11 1 2
0
end_operator
begin_operator
board p0 slow1-0 n8 n1 n2
1
5 1
2
0 3 6 3
0 11 2 0
0
end_operator
begin_operator
board p2 fast0 n0 n0 n1
1
7 2
2
0 2 0 8
0 8 1 3
0
end_operator
begin_operator
board p2 fast0 n0 n1 n2
1
7 2
2
0 2 0 8
0 8 3 0
0
end_operator
begin_operator
board p2 fast0 n0 n2 n3
1
7 2
2
0 2 0 8
0 8 0 2
0
end_operator
begin_operator
board p2 fast1 n0 n0 n1
1
4 3
2
0 2 0 10
0 9 0 2
0
end_operator
begin_operator
board p2 fast1 n0 n1 n2
1
4 3
2
0 2 0 10
0 9 2 1
0
end_operator
begin_operator
board p2 fast1 n0 n2 n3
1
4 3
2
0 2 0 10
0 9 1 3
0
end_operator
begin_operator
board p2 slow0-0 n0 n0 n1
1
6 3
2
0 2 0 4
0 10 0 2
0
end_operator
begin_operator
board p2 slow0-0 n0 n1 n2
1
6 3
2
0 2 0 4
0 10 2 1
0
end_operator
begin_operator
board p2 slow0-0 n1 n0 n1
1
6 0
2
0 2 9 4
0 10 0 2
0
end_operator
begin_operator
board p2 slow0-0 n1 n1 n2
1
6 0
2
0 2 9 4
0 10 2 1
0
end_operator
begin_operator
board p2 fast0 n2 n0 n1
1
7 3
2
0 2 3 8
0 8 1 3
0
end_operator
begin_operator
board p2 fast0 n2 n1 n2
1
7 3
2
0 2 3 8
0 8 3 0
0
end_operator
begin_operator
board p2 fast0 n2 n2 n3
1
7 3
2
0 2 3 8
0 8 0 2
0
end_operator
begin_operator
board p2 fast1 n2 n0 n1
1
4 2
2
0 2 3 10
0 9 0 2
0
end_operator
begin_operator
board p2 fast1 n2 n1 n2
1
4 2
2
0 2 3 10
0 9 2 1
0
end_operator
begin_operator
board p2 fast1 n2 n2 n3
1
4 2
2
0 2 3 10
0 9 1 3
0
end_operator
begin_operator
board p2 slow0-0 n2 n0 n1
1
6 2
2
0 2 3 4
0 10 0 2
0
end_operator
begin_operator
board p2 slow0-0 n2 n1 n2
1
6 2
2
0 2 3 4
0 10 2 1
0
end_operator
begin_operator
board p2 slow0-0 n3 n0 n1
1
6 4
2
0 2 12 4
0 10 0 2
0
end_operator
begin_operator
board p2 slow0-0 n3 n1 n2
1
6 4
2
0 2 12 4
0 10 2 1
0
end_operator
0
